A First-Order Theory of Communicating First-Order Formulas
نویسنده
چکیده
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of events, including other communicative acts; and the knowledge states of any agent — speaker, hearer, or third parties — any of these in the past, present, or future — and any logical combination of these, including formulas with quantifiers. We prove that this theory is consistent, and compatible with a wide range of physical theories. We examine how the theory avoids two potential paradoxes, and discuss how these paradoxes may pose a danger when this theory are extended.
منابع مشابه
Response Determination of a Beam with Moderately Large Deflection Under Transverse Dynamic Load Using First Order Shear Deformation Theory
In the presented paper, the governing equations of a vibratory beam with moderately large deflection are derived using the first order shear deformation theory. The beam is homogenous, isotropic and it is subjected to the dynamic transverse and axial loads. The kinematic of the problem is according to the Von-Karman strain-displacement relations and the Hook's law is used as the constitutive eq...
متن کاملThermoelastic Analysis of a Functionally Graded Simple Blade Using First-Order Shear Deformation Theory
In this article, the thermo-elastic behavior of a functionally graded simple blade subjected to the mechanical and thermal loadings is presented, applying a semi-analytical method and a variable thickness cantilever beam model. A specific temperature gradient is employed between the root and the edges of the beam. It is assumed that the mechanical and thermal properties are longitudinal directi...
متن کاملFree Vibration and Buckling Analysis of Sandwich Panels with Flexible Cores Using an Improved Higher Order Theory
In this paper, the behavior of free vibrations and buckling of the sandwich panel with a flexible core was investigated using a new improved high-order sandwich panel theory. In this theory, equations of motion were formulated based on shear stresses in the core. First-order shear deformation theory was applied for the procedures. In this theory, for the first time, incompatibility problem of...
متن کاملFirst-Order Stable Model Semantics and First-Order Loop Formulas
Lin and Zhao’s theorem on loop formulas states that in the propositional case the stable model semantics of a logic program can be completely characterized by propositional loop formulas, but this result does not fully carry over to the first-order case. We investigate the precise relationship between the first-order stable model semantics and first-order loop formulas, and study conditions und...
متن کاملBeyond first order logic: From number of structures to structure of numbers: Part II
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...
متن کامل